The Dynamics of Conjunctive and Disjunctive Boolean Networks
نویسندگان
چکیده
The relationship between the properties of a dynamical system and the structure of its defining equations has long been studied in many contexts. Here we study this problem for the class of conjunctive (resp. disjunctive) Boolean networks, that is, Boolean networks in which all Boolean functions are constructed with the AND (resp. OR) operator only. The main results of this paper describe network dynamics in terms of the structure of the network dependency graph (topology). For a given such network, all possible limit cycle lengths are computed and lower and upper bounds for the number of cycles of each length are given. In particular, the exact number of fixed points is obtained. The bounds are in terms of structural features of the dependency graph and its partially ordered set of strongly connected components. For networks with strongly connected dependency graph, the exact cycle structure is computed.
منابع مشابه
The dynamics of conjunctive and disjunctive Boolean network models.
For many biological networks, the topology of the network constrains its dynamics. In particular, feedback loops play a crucial role. The results in this paper quantify the constraints that (unsigned) feedback loops exert on the dynamics of a class of discrete models for gene regulatory networks. Conjunctive (resp. disjunctive) Boolean networks, obtained by using only the AND (resp. OR) operato...
متن کاملSolving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points
This paper presents a technique for the resolution of alternating disjunctive/conjunctive boolean equation systems. The technique can be used to solve various verification problems on finitestate concurrent systems, by encoding the problems as boolean equation systems and determining their local solutions. The main contribution of this paper is that a recent resolution technique from [13] for d...
متن کاملA sub-quadratic algorithm for conjunctive and disjunctive BESs
We present an algorithm for conjunctive and disjunctive Boolean equation systems (BESs), which arise frequently in the verification and analysis of finite state concurrent systems. In contrast to the previously best known O(e) time solutions, our algorithm computes the solution of such a fixpoint equation system with size e and alternation depth d in O(e log d) time.
متن کاملIrredundant Disjunctive and Conjunctive Forms of a Boolean Function
A thorough algebraic method is described for the determination of the complete set of irre-dundant normal and conjunctive forms of a Boolean function. The method is mechanical and therefore highly programmable on a computer.
متن کاملSome comments on fuzzy normal forms
In this paper, we examine and compare de Morgan-, Kleene-, and Boolean-disjunctive and conjunctive normal forms in fuzzy settings. This generalizes papers of Turksen on the subject of Boolean-normal forms.
متن کامل